Opportunistically Parallel Lambda Calculus
dl.acm.orgยท22hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Vibe coding needs a spec, too
stackoverflow.blogยท12h
๐Ÿ”ŒInterface Evolution
Flag this post
When AI Agents Go Rogue: Agent Session Smuggling Attack in A2A Systems
unit42.paloaltonetworks.comยท10h
๐Ÿ•ต๏ธVector Smuggling
Flag this post
Structurally Valid Log Generation using FSM-GFlowNets
arxiv.orgยท16h
๐Ÿ“Log Parsing
Flag this post
OpenSMTPD 7.8.0p0 released with security fixes and improvements
discoverbsd.comยท8h
๐Ÿ”ŒOperating system internals
Flag this post
Building Up And Sanding Down
endler.devยท20h
๐Ÿ”ฉSystems Programming
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท19hยท
๐Ÿ’งLiquid Types
Flag this post
Implementing MQTT 5 in Go: A Deep Dive into Client Design - Part I
dev.toยท2hยท
Discuss: DEV
๐Ÿ“‹Format Specification
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.comยท2hยท
Discuss: Hacker News
๐Ÿง Lisp Dialects
Flag this post
Fully-Specified Algorithms for JOSE and COSE is now RFC 9864
self-issued.infoยท22h
๐Ÿ”‘Cryptographic Protocols
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ”—Functional Compilers
Flag this post
Olsrt โ€“ OverLab Streams Runtime
news.ycombinator.comยท5hยท
Discuss: Hacker News
๐Ÿ”’Linear Types
Flag this post
My first day in Rust
reddit.comยท18hยท
Discuss: r/rust
๐Ÿฆ€Rust Borrowing
Flag this post
Watch the recordings from my Python + AI series
blog.pamelafox.orgยท5hยท
๐ŸŽ™๏ธWhisper
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท13h
โœ…Format Verification
Flag this post
What's the point of HTTP Signatures? (All open source)
orangestack.substack.comยท22hยท
Discuss: Substack
๐ŸŒNetworkProtocols
Flag this post
Notes from RIPE 91
blog.apnic.netยท21h
๐ŸŒDNS over QUIC
Flag this post
exploits.club Weekly Newsletter 91 - Patch-gapping Browsers, Ubuntu LPEs, Bluetooth Int Underflows, And More
blog.exploits.clubยท3h
๐Ÿ”“Hacking
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.ioยท55m
โš™๏ธTLA+
Flag this post